1. Design of dependable Ada software
پدیدآورنده: Motet, G.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Ada )Computer program language( , Computer software - Development
رده :
QA
76
.
73
.
A35
M68
1996
2. Developing safety systems: A guide using Ada
پدیدآورنده: Ian C. Pyle
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Ada )computer program language(,Computer software- Reliability,System safety,Computer software- Development
رده :
005
.
133
P996D
3. Developing safety systems a guide using Ada
پدیدآورنده: Pyle, Ian C., 4391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Ada )Computer program language(,، Computer software -- Reliability,، System safety,، Computer software -- Development
رده :
QA
76
.
73
.
A35
P95
4. High integrity software: the Spark approach to safety and security
پدیدآورنده: Barnes, J. G. P. )John Gilbert Presslie(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
R44
.
B37
2003
5. Object-oriented software in Ada 95
پدیدآورنده: Smith, Michael A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Object-oriented programming )Computer science( , Ada )Computer program language( , Computer software - Development
رده :
QA
76
.
64
.
S64
1996
6. Software development with Ada
پدیدآورنده: Sommerville, Ian.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer software- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
D47S67
1987
7. Software engineering with abstractions
پدیدآورنده: Berzins, Valdis Andris.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer software- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
D47B47
1991
8. Software systems construction with examples in Ada
پدیدآورنده: Sanden, Bo.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
D47
.
S36
1994
9. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
پدیدآورنده: A.N. Habermann, U. Montanari )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
275
